FDL - Nuprl Definition : ma-interface-loc

Nuprl Definition : ma-interface-loc

11,40

ma-interface-loc(I;i) == i

dom(I)

(

null(ma-interface-dom(I;i)))

clarification:

ma-interface-loc(I;i) == fpf-dom(IdDeq; i; I)

(

null(ma-interface-dom(I;i)))

Definitions p q, x dom(f), IdDeq, b, null(as)

FDL editor aliases ma-interface-loc

Definitions	p q, x dom(f), IdDeq, b, null(as)
FDL editor aliases	ma-interface-loc